1341. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
1342. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
1343. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
1344. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
1345. Mathematical fundamentals of database systems, 1989-
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Data bases- Conferences ► Computer science- Mathematics- Data processing
Classification :
005
M426
1346. Mathematical fundamentals of database systems, 1989-
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Data bases- Conferences ► Computer science- Mathematics- Data processing
Classification :
005
M426
1347. Mathematical logic for computer science
Author: Lu Zhong-Wan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35L8
1989
1348. Mathematical logic for computer science
Author: / Lu Zhongwan
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
L8
1989
1349. Mathematical logic for computer science
Author: Lu, Chung-wan
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science- Mathematics ► Logic, Symbolic and mathematical
Classification :
004
L926m
1350. Mathematical logic for computer science
Author: Lu, Chung-wan
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science- Mathematics ► Logic, Symbolic and mathematical
Classification :
004
L926m
1351. Mathematical methode in Artificial intelligence
Author: Bender, Edward A., 1942-
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Artificial intelligence- mathematics ► Expert systems (Computer Science)
Classification :
006
B458m
1352. Mathematical methods in artifficial intelligence
Author: Bender, Edward A.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Artificial intelligence- Mathematics,، Expert Systems )Computer science(
Classification :
Q
335
.
B45
1996
1353. Mathematical methods in artificial intelligence
پدیدآورنده : Edward A. Bender
موضوع : Artificial intelligence - Mathematics,Expert systems (Computer science)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1354. Mathematical methods in artificial intelligence
Author: Bender, Edward A.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Artificial intelligence - Mathematics , Expert systems )Computer science(
Classification :
Q
335
.
B45
1355. Mathematical methods in artificial intelligence
Author: Bender, Edward A.
Library: Central Library and Documentation Center (Kerman)
Subject: Mathematics ، Artificial intelligence,، Expert systems )Computer science(
Classification :
Q
335
.
B45
1996
1356. Mathematical methods in artificial intelligence
Author: Edward A. Bender
Library: Vali Asr University Central Library (Kerman)
Subject: Artificial intelligence - Mathematics,Expert systems )Computer science(
Classification :
Q
335
.
B45
1357. Mathematical methods in artificial intelligence /
Author: Edward A. Bender
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics,Expert systems (Computer science)
Classification :
Q335
.
B45
1996
1358. Mathematical methods in computer science
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: ; Computer science ; Mathematics. ; Quantum computers. ; Cryptography. ; Coding theory. ; -Beth, Thomas, ; 1949
1359. Mathematical methods in computer science
Author: / Jacques Calmet, Willi Geiselmann, Jeorn Meuller-Quade, (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Beth, Thomas,--1949,Computer science--Mathematics,Quantum computers.,Cryptography.,Coding theory.
Classification :
QA
,
76
.
9
,.
M35
,
M384
,
2008
1360. Mathematical methods in computer science. essays in memory of Thomas Beth
Author: Jacques Calmet, Willi Geiselmann, Jorn Muller-Quade, )eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer science- Mathematics,، Quantum computers,، Cryptography,، Coding theory,، Beth, Thomas, 9491-
Classification :
QA
76
.
9
.
M35
M384
2008
